1

BASIS THEOREMS FOR -SETS

Year:
2019
Language:
english
File:
PDF, 193 KB
english, 2019
2

BASIS THEOREMS FOR -SETS

Year:
2019
File:
PDF, 193 KB
2019
4

Recursion Theory (Computational Aspects of Definability) || 2 Hyperarithmetic theory

Year:
2015
Language:
english
File:
PDF, 228 KB
english, 2015
5

Recursion Theory (Computational Aspects of Definability) || 5 Recursion-theoretic forcing

Year:
2015
Language:
english
File:
PDF, 214 KB
english, 2015
10

The Fifth Asian Logic Conference, Singapore, 1993

Year:
1994
Language:
english
File:
PDF, 297 KB
english, 1994
12

Recursion Theory (Computational Aspects of Definability) || 3 Admissibility and constructibility

Year:
2015
Language:
english
File:
PDF, 273 KB
english, 2015
13

Recursion Theory (Computational Aspects of Definability) || A Open problems

Year:
2015
Language:
english
File:
PDF, 93 KB
english, 2015
15

Recursion Theory (Computational Aspects of Definability) || Frontmatter

Year:
2015
Language:
english
File:
PDF, 82 KB
english, 2015
16

Recursion Theory (Computational Aspects of Definability) || 8 The construction of Π1 1-sets

Year:
2015
Language:
english
File:
PDF, 212 KB
english, 2015
17

Recursion Theory (Computational Aspects of Definability) || Backmatter

Year:
2015
Language:
english
File:
PDF, 39 KB
english, 2015
18

Recursion Theory (Computational Aspects of Definability) || 14 The theory of higher randomness

Year:
2015
Language:
english
File:
PDF, 266 KB
english, 2015
19

Recursion Theory (Computational Aspects of Definability) || 6 Set theory

Year:
2015
Language:
english
File:
PDF, 237 KB
english, 2015
20

Recursion Theory (Computational Aspects of Definability) || Bibliography

Year:
2015
Language:
english
File:
PDF, 112 KB
english, 2015
22

Recursion Theory (Computational Aspects of Definability) || Contents

Year:
2015
Language:
english
File:
PDF, 91 KB
english, 2015
23

Recursion Theory (Computational Aspects of Definability) || 11 Basis theorems

Year:
2015
Language:
english
File:
PDF, 195 KB
english, 2015
24

Recursion Theory (Computational Aspects of Definability) || C Notations and symbols

Year:
2015
Language:
english
File:
PDF, 81 KB
english, 2015
25

Recursion Theory (Computational Aspects of Definability) || 4 The theory of Π1 1-sets

Year:
2015
Language:
english
File:
PDF, 152 KB
english, 2015
26

Recursion Theory (Computational Aspects of Definability) || B An interview with Gerald E. Sacks

Year:
2015
Language:
english
File:
PDF, 158 KB
english, 2015
27

Recursion Theory (Computational Aspects of Definability) || Preface

Year:
2015
Language:
english
File:
PDF, 79 KB
english, 2015
29

Recursion Theory (Computational Aspects of Definability) || 7 Classification of jump operators

Year:
2015
Language:
english
File:
PDF, 199 KB
english, 2015
30

Recursion Theory (Computational Aspects of Definability) || Index

Year:
2015
Language:
english
File:
PDF, 94 KB
english, 2015
32

Recursion Theory (Computational Aspects of Definability) || 13 More on hyperarithmetic theory

Year:
2015
Language:
english
File:
PDF, 242 KB
english, 2015
40

[Lecture Notes in Mathematics] Techniques of Admissible Recursion Theory Volume 1106 || Minimal pairs

Year:
1984
Language:
english
File:
PDF, 659 KB
english, 1984
42

[Lecture Notes in Mathematics] Techniques of Admissible Recursion Theory Volume 1106 || Trees

Year:
1984
Language:
english
File:
PDF, 956 KB
english, 1984